/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package edu.yonsei.iwb.sdt.datastructure.tree;

/**
 *
 * @author JDK
 */
public class BranchingType {
    public static boolean SATISFIED_TYPE = true;
    public static boolean NEGATION_TYPE = false;
    
}
